ENSO and interdecadal climate variability over the last century documented by geochemical records of two coral cores from the South West Pacific

The south west Pacific is affected by climatic phenomena such as ENSO (El Ni&#241;o Southern Oscillation) or the PDO (Pacific Decadal Oscillation). Near-monthly resolution calibrations of Sr/Ca, U/Ca and <span style=&quot;font-family: &apos;Symbol, Times New Roman, Times&apos;; font-size: 16px;&quot;>&delta;</span>¹⁸Oc were made on corals taken from New Caledonia and Wallis Island. These geochemical variations could be linked to SST (sea surface temperature) and SSS (sea surface salinity) variations over the last two decades, itselves dependent on ENSO occurrences. On the other hand, near-half-yearly resolution over the last century smoothes seasonal and interannual climate signals, but emphasizes low frequency climate variability

Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

In program development it is useful to know that a call to a Prolog program will not inadvertently leave a choice-point on the stack. Determinacy inference has been proposed for solving this problem yet the analysis was found to be wanting in that it could not infer determinacy conditions for programs that contained cuts or applied certain tests to select a clause. This paper shows how to remedy these serious deficiencies. It also addresses the problem of identifying those predicates which can be rewritten in a more deterministic fashion. To this end, a radically new form of determinacy inference is introduced, which is founded on ideas in ccp, that is capable of reasoning about the way bindings imposed by a rightmost goal can make a leftmost goal deterministic

A generic framework for context-sensitive analysis of modular programs

Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argüe that a general framework for context-sensitive analysis of modular programs, Le., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed

Implementing Groundness Analysis with Definite Boolean Functions

The domain of definite Boolean functions, Def, can be used to express the groundness of, and trace grounding dependencies between, program variables in (constraint) logic programs. In this paper, previously unexploited computational properties of Def are utilised to develop an efficient and succinct groundness analyser that can be coded in Prolog. In particular, entailment checking is used to prevent unnecessary least upper bound calculations. It is also demonstrated that join can be defined in terms of other operations, thereby eliminating code and removing the need for preprocessing formulae to a normal form. This saves space and time. Furthermore, the join can be adapted to straightforwardly implement the downward closure operator that arises in set sharing analyses. Experimental results indicate that the new Def implementation gives favourable results in comparison with BDD-based groundness analyses

Abstract verification and debugging of constraint logic programs

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3],[10],[7]

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

A Novel Nonsense Mutation in the DMP1 Gene Identified by a Genome-Wide Association Study Is Responsible for Inherited Rickets in Corriedale Sheep

Inherited rickets of Corriedale sheep is characterized by decreased growth rate, thoracic lordosis and angular limb deformities. Previous outcross and backcross studies implicate inheritance as a simple autosomal recessive disorder. A genome wide association study was conducted using the Illumina OvineSNP50 BeadChip on 20 related sheep comprising 17 affected and 3 carriers. A homozygous region of 125 consecutive single-nucleotide polymorphism (SNP) loci was identified in all affected sheep, covering a region of 6 Mb on ovine chromosome 6. Among 35 candidate genes in this region, the dentin matrix protein 1 gene (DMP1) was sequenced to reveal a nonsense mutation 250C/T on exon 6. This mutation introduced a stop codon (R145X) and could truncate C-terminal amino acids. Genotyping by PCR-RFLP for this mutation showed all 17 affected sheep were “T T” genotypes; the 3 carriers were “C T”; 24 phenotypically normal related sheep were either “C T” or “C C”; and 46 unrelated normal control sheep from other breeds were all “C C”. The other SNPs in DMP1 were not concordant with the disease and can all be ruled out as candidates. Previous research has shown that mutations in the DMP1 gene are responsible for autosomal recessive hypophosphatemic rickets in humans. Dmp1_knockout mice exhibit rickets phenotypes. We believe the R145X mutation to be responsible for the inherited rickets found in Corriedale sheep. A simple diagnostic test can be designed to identify carriers with the defective “T” allele. Affected sheep could be used as animal models for this form of human rickets, and for further investigation of the role of DMP1 in phosphate homeostasis

The Congolobe project, a multidisciplinary study of Congo deep-sea fan lobe complex: Overview of methods, strategies, observations and sampling

The presently active region of the Congo deep-sea fan (around 330,000 km(2)), called the terminal lobes or lobe complex, covers an area of 2500 km(2) at 4700-5100 m water depth and 750-800 km offshore. It is a unique sedimentary area in the world ocean fed by a submarine canyon and a channel-levee system which presently deliver large amounts of organic carbon originating from the Congo River by turbidity currents. This particularity is due to the deep incision of the shelf by the Congo canyon, up to 30 km into the estuary, which funnels the Congo River sediments into the deep-sea. The connection between the river and the canyon is unique for major world rivers. In 2011, two cruises (WACS leg 2 and Congolobe) were conducted to simultaneously investigate the geology, organic and inorganic geochemistry, and micro- and macro-biology of the terminal lobes of the Congo deep-sea fan. Using this multidisciplinary approach, the morpho-sedimentary features of the lobes were characterized along with the origin and reactivity of organic matter, the recycling and burial of biogenic compounds, the diversity and function of bacterial and archaeal communities within the sediment, and the biodiversity and functioning of the faunal assemblages on the seafloor. Six different sites were selected for this study: Four distributed along the active channel from the lobe complex entrance to the outer rim of the sediment deposition zone, and two positioned cross-axis and at increasing distance from the active channel, thus providing a gradient in turbidite particle delivery and sediment age. This paper aims to provide the general context of this multidisciplinary study. It describes the general features of the site and the overall sampling strategy and provides the initial habitat observations to guide the other in-depth investigations presented in this special issue. Detailed bathymetry of each sampling site using 0.1-1 m resolution multibeam obtained with a remotely operated vehicle (ROV) shows progressive widening and smoothing of the channel-levees with increasing depth and reveals a complex morphology with channel bifurcations, erosional features and massive deposits. Dense ecosystems surveyed in the study area gather high density clusters of two large-sized species of symbiotic Vesicomyidae bivalves and microbial mats. These assemblages, which are rarely observed in sedimentary zones, resemble those based on chemosynthesis at cold-seep sites, such as the active pockmarks encountered along the Congo margin, and share with these sites the dominant vesicomyid species Christineconcha regab. Sedimentation rates estimated in the lobe complex range between 0.5 and 10 cm yr(-1), which is 2-3 orders of magnitude higher than values generally encountered at abyssal depths. The bathymetry, faunal assemblages and sedimentation rates make the Congo lobe complex a highly peculiar deep-sea habitat driven by high inputs of terrigenous material delivered by the Congo channel-levee system. (c) 2016 Elsevier Ltd. All rights reserved.ZAIANGOANR Congolobe (ANR Blanc SIMI5-6) [11 BS56 030]IFREMERCEA through LSCEU.S. National Science Foundation [OCE-0831156]info:eu-repo/semantics/acceptedVersio

A Biodiverse Rich Environment Does Not Contribute to a Better Diet: A Case Study from DR Congo

The potential of biodiversity to increase and sustain nutrition security is increasingly recognized by the international research community. To date however, dietary assessment studies that have assessed how biodiversity actually contributes to human diets are virtually absent. This study measured the contribution of wild edible plants (WEP) to the dietary quality in the high biodiverse context of DR Congo. The habitual dietary intake was estimated from 2 multiple-pass 24 h dietary recalls for 363 urban and 129 rural women. All WEP were collected during previous ethnobotanical investigations and identified and deposited in the National Botanical Garden of Belgium (BR). Results showed that in a high biodiverse region with precarious food security, WEP are insufficiently consumed to increase nutrition security or dietary adequacy. The highest contribution came from Dacryodes edulis in the village sample contributing 4.8% of total energy intake. Considering the nutrient composition of the many WEP available in the region and known by the indigenous populations, the potential to increase nutrition security is vast. Additional research regarding the dietary contribution of agricultural biodiversity and the nutrient composition of WEP would allow to integrate them into appropriate dietary guidelines for the region and pave the way to domesticate the most interesting WEP

Current tidal power technologies and their suitability for applications in coastal and marine areas

A considerable body of research is currently being performed to quantify available tidal energy resources and to develop efficient devices with which to harness them. This work is naturally focussed on maximising power generation from the most promising sites, and a review of the literature suggests that the potential for smaller scale, local tidal power generation from shallow near-shore sites has not yet been investigated. If such generation is feasible, it could have the potential to provide sustainable electricity for nearby coastal homes and communities as part of a distributed generation strategy, and would benefit from easier installation and maintenance, lower cabling and infrastructure requirements and reduced capital costs when compared with larger scale projects. This article reviews tidal barrages and lagoons, tidal turbines, oscillating hydrofoils and tidal kites to assess their suitability for small-scale electricity generation in shallow waters. This is achieved by discussing the power density, scalability, durability, maintainability, economic potential and environmental impacts of each concept. The performance of each technology in each criterion is scored against axial-flow turbines, allowing for them to be ranked according to their overall suitability. The review suggests that tidal kites and range devices are not suitable for small-scale shallow water applications due to depth and size requirements respectively. Cross-flow turbines appear to be the most suitable technology, as they have high power densities and a maximum size that is not constrained by water depth